Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
431	RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2008-05-21 04:32:19 Automated theorem proving International Conference on Rewriting Techniques and Applications Formal languages Logic in computer science Formal methods Logic programming Rewriting Hagenberg im Mühlkreis Bruno Buchberger Theoretical computer science Mathematics Applied mathematics
432	From LCF to HOL: a short history Mike Gordon1 1 Introduction Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-06-19 04:39:27 Mathematical logic Automated theorem proving Formal methods Fellows of the Royal Society Logic for Computable Functions HOL Isabelle Proof assistant Robin Milner Theoretical computer science Logic in computer science Mathematics
433	ITP[removed]Are we there yet? 20 Years of industrial theorem proving with Spark July 15, 2014 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-10-29 18:17:58 Ada programming language SPARK Formal methods Avionics Mathematical logic DO-178B Automated theorem proving Ada Type safety Computing Software engineering Programming language theory
434	Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vien Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:52:05 Logic in computer science Type theory Proof theory Lambda calculus Formal methods International Conference on Rewriting Techniques and Applications Denotational semantics Federated Logic Conference Automated theorem proving Theoretical computer science Mathematics Applied mathematics
435	Mainstream Contributions of Interval Computations in Engineering and Scientific Computing Add to Reading List Source URL: www.math.canterbury.ac.nz Language: English - Date: 2008-11-23 16:32:42 Computer arithmetic Data types Numerical analysis Arithmetic Interval arithmetic Automated theorem proving Interval Floating point Integral Mathematics Mathematical software Science
436	Computational Creativity Autumn School Lecture 1 Introduction to Computational Creativity Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:30 Problem solving Computational creativity Reasoning Reasoning system Creativity Logic programming Planner Solver Book:Knowledge-Based Engineering Artificial intelligence Automated theorem proving Science
437	Artificial Intelligence Tutorial 3 - Answers 1a) Translate the following sentences into first order logic. (i) All dogs are mammals (ii) Fido is a dog (iii) Fido is a mammal (iv) All mammals produce milk Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:16:32 Rules of inference Automated theorem proving Predicate logic Conjunctive normal form Unification Modus ponens First-order logic Function Universal quantification Logic Mathematical logic Mathematics
438	AI4FM A new project seeking challenges! Gudmund Grov1 and Cliff B Jones2 1 2 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Logical syntax Mathematical logic Formal methods Proof theory Rodin tool Mathematical proof Proof assistant Formal proof Logic Mathematics Automated theorem proving
439	Towards the Formal Certification of a Mathematical Encyclopedia on the Web Fr´ed´eric Chyzak and Assia Mahboubi∗ Keywords Coq, formal proofs, computer algebra, hypergeometric sums, creative telescoping, Ap´ery const Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-12-15 11:46:42 Applied mathematics Mathematical logic Formal methods Automated theorem proving Coq Mathematical proof Proof assistant Formal verification Correctness Mathematics Logic Theoretical computer science
440	Microsoft PowerPoint - ATP.ppt Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-09-28 21:48:06 Automated theorem proving Logical consequence Proof theory Philosophical logic First-order logic Resolution Propositional calculus Axiom Inference Logic Mathematical logic Mathematics

UPDATE